Search Results
Natural Number Game in Lean 4 - Episode 4 Starting Multiplication World
Natural Number Game in Lean 4 - Episode 5 Finishing Multiplication World
Natural Number Game in Lean 4 - Episode 17 Advanced Multiplication World Troubles
Natural Number Game in Lean 4 - Episode 6 Starting Power World
Speed-running Natural Numbers Game in Lean4
Natural Number Game in Lean 4 - Episode 0 Defining Natural Numbers
Natural Number Game in Lean 4 - Episode 16 Starting the Advanced Multiplication World
Natural Number Game in Lean 4 - Episode 3 Finish Addition World: add_comm to add_right_comm
Natural Number Game in Lean 4 - Episode 2 Start Addition World: zero_add, add_assoc, and succ_add
Natural Number Game in Lean 4 - Episode 14 Starting Advanced Addition World
Natural Number Game in Lean 4 - Episode 18 Advanced Multiplication World Final Boss
Natural Number Game in Lean 4 - Episode 1 Tutorial World and zero_succ_add
